finite C-star algebra
A unital -algebra is said to be a finite C-star algebra if its unit is a finite projection . See Definition 5.1.1..